A coherent topos is a sheaf topos with a site of definition that is a coherent category with coherent coverage.
Notice that the terminology is slightly confusing: every topos is a coherent category.
Section D3.3 of
Last revised on November 16, 2022 at 20:23:16. See the history of this page for a list of all contributions to it.